|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Pattern Matching
by Kärkkäinen, Juha.
Publication:
. XIII, 454p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Ralyté, Jolita.
Publication:
. XVII, 704p. 235 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Product-Focused Software Process Improvement
by Dieste, Oscar.
Publication:
. XVI, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Persuasive Technology. Design for Health and Safety
by Bang, Magnus.
Publication:
. Approx. 295 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Tutoring Systems
by Cerri, Stefano A.
Publication:
. XXXIV, 726p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
How the World Computes
by Cooper, S. Barry.
Publication:
. XVIII, 756p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore - Challenge II
by Keller, Rainer.
Publication:
. X, 173 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bioinformatics Research and Applications
by Bleris, Leonidas.
Publication:
. XIII, 332p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XIV, 681 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems
by Beldiceanu, Nicolas.
Publication:
. XI, 409p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Health Information Science
by He, Jing.
Publication:
. XIII, 187p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
LATIN 2012: Theoretical Informatics
by Fernández-Baca, David.
Publication:
. XVII, 669 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation and Online Algorithms
by Solis-Oba, Roberto.
Publication:
. X, 278 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Computing, Behavioral - Cultural Modeling and Prediction
by Yang, Shanchieh Jay.
Publication:
. XIV, 366p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Economics of Grids, Clouds, Systems, and Services
by Vanmechelen, Kurt.
Publication:
. XII, 199p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in User Modeling
by Ardissono, Liliana.
Publication:
. X, 416 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XII, 556p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges
by Camara, Oscar.
Publication:
. XIV, 286p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Modeling and Computational Science
by Adam, Gheorghe.
Publication:
. XII, 336p. 127 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|